Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
151	Interpreting types as abstract values Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) Formosan Summer School on Logic, Language, and Computation July 9–10, 2008 Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-07-19 02:12:20 Lambda calculus Type theory Logic in computer science Models of computation Data types Combinatory logic Denotational semantics Eval Type system Computing Software engineering Theoretical computer science
152	A Language for Automatically Enforcing Privacy Policies Jean Yang Kuat Yessenov Armando Solar-Lezama Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-01-04 11:40:01 Type theory Data types Predicate logic Models of computation Symbol Variable Local consistency Lambda calculus Free variables and bound variables Mathematics Mathematical logic Logic
153	Erbium: A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance Cupertino Miranda1 , Philippe Dumont1,2 , Albert Cohen1 , Marc Duranton2 and Antoniu Pop3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-01-25 11:25:30 Programming language implementation Models of computation Compiler construction Cross-platform software Procedural programming languages Kahn process networks Compiler Ada Denotational semantics Computing Software engineering Software
154	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science
155	In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 Logic in computer science Programming language semantics Models of computation Formal methods Procedural programming languages Static single assignment form Denotational semantics Continuation-passing style Statement Software engineering Computing Theoretical computer science
156	Incremental Models of Natural Language Category Acquisition Trevor Fountain () Mirella Lapata () Institute for Language, Cognition and Computation School of Informatics, Universit Add to Reading List Source URL: www.texasexpat.net Language: English - Date: 2011-05-11 08:34:04 Semantics Natural language processing Computational linguistics Statistical natural language processing Lexical semantics Document-term matrix Semantic similarity Latent Dirichlet allocation Cluster analysis Statistics Linguistics Science
157	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:28 Theoretical computer science Computability theory Turing machine Recursion Models of computation Lambda calculus Programming language Lisp Computability Software engineering Computing Computer programming
158	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
159	Call-by-name Linguistic Side Effects http://okmij.org/ftp/Computation/gengo/ Symmetric calculi and Ludics for the semantic interpretation ESSLLI 2008 Workshop Hamburg, Germany August 6, 2008 Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 22:07:08 Royalty Grammar Pragmatics Parts of speech Philosophical logic Anaphora Cataphora Type system Quantification Linguistics Semantics Philosophy of language
160	References [1] L. Aceto, W.J. Fokkink, R.J. van Glabbeek & A. Ing´olfsd´ottir (1996): Axiomatizing Prefix Iteration with Silent Steps. Information and Computation 127(1), pp. 26–40, doi:incoAvail Add to Reading List Source URL: rvg.web.cse.unsw.edu.au Language: English - Date: 2015-05-13 04:41:10 Glabbeek Lecture Notes in Computer Science Operational semantics Geography of Belgium Computer science Belgium Electronic Proceedings in Theoretical Computer Science Logic in computer science Programming language semantics